Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
351	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics
352	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-08-30 07:17:32 Logic in computer science Formal methods Automated theorem proving Proof assistant Type theory POPLmark challenge Twelf HOL Matita Theoretical computer science Mathematical software Mathematical logic
353	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:15 Logic in computer science Formal methods Automated theorem proving Mizar system Proof assistant Automated proof checking Mizar and Alcor Mathematical proof Isabelle Theoretical computer science Mathematical logic Mathematics
354	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1998-06-12 16:44:35 Mathematical logic Metalogic Logical syntax Model theory Mathematical proof Theorem Mathematical object First-order logic Formal system Logic Mathematics Philosophy of mathematics
355	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1996-05-14 11:11:14 Mathematical logic Formal languages Functions and mappings Mathematical proof Function Theorem Emmy Noether Expression Formal proof Logic Mathematics Logical syntax
356	PDF Document Add to Reading List Source URL: www.cwru.edu Language: English - Date: 1998-06-12 16:43:24 Logical syntax Elementary mathematics Formal languages Function Mathematical proof If and only if Well-formed formula Interpretation Parameter Mathematics Logic Mathematical logic
357	PDF Document Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-09-22 22:46:06 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
358	PDF Document Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2007-02-28 19:42:58 Educational technology Norwegian Academy of Science and Letters Patrick Suppes E-learning IB Group 5 subjects Curriculum Logic Mathematical proof Formal language Education Knowledge Mathematics
359	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods
360	PDF Document Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-08-29 07:20:33 Applied mathematics Distance-bounding protocol IP NEXPTIME Formal verification Alice and Bob Public-key cryptography Man-in-the-middle attack Interactive proof system Cryptography Cryptographic protocols Theoretical computer science

UPDATE